Making ProB Compatible with SWI-Prolog

Abstract Even though the core of Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex programs that can run unmodified on multiple implementations. Indeed, implementations sometimes deviate from standard and itself fails cover many features are essential in practice. Most applications thus have rely nonstandard features, often making them dependent one particular implementation incompatible with others. We examine such application: ProB, which developed for over 20 years SICStus Prolog. The article describes how we managed refactor codebase ProB also support SWI-Prolog, goal verifying ProB’s results using two independent toolchains. This required a multitude adjustments, ranging extending emulation SWI-Prolog better modularizing monolithic codebase. describe notable compatibility issues other differences encountered process, were able deal few major code changes.